$\forall$$x$:chain\_config(). cctail?($x$) $\in$ $\mathbb{B}$